La
combinatoria es una rama de la
matemática que estudia colecciones finitas de objetos que satisfacen unos criterios especificados, y se ocupa, en particular, del "recuento" de los objetos de dichas colecciones (
combinatoria enumerativa) y del problema de determinar si cierto objeto "óptimo" existe (
combinatoria extremal). Uno de los más destacados combinatorialistas de los últimos tiempos ha sido Gian-Carlo Rota, cuyas contribuciones han ayudado a formalizar el tema desde la década de
1960. El prolífico matemático
Paul Erdos trabajó principalmente en problemas extremales. El estudio de cómo contar objetos es a veces considerado por separado como el campo de la enumeración.